Total Books: 1 - 2 /2
Application and Theory of Petri Nets 2002
This book constitutes the refereed proceedings of the 23rd International Conference on Application and Theory of Petri Nets, ...
Continue reading
Operational Semantics for Timed Systems
This monograph is dedicated to a novel approach for uniform modelling of timed and hybrid systems. Heinrich Rust presents ...
Continue reading
Total Books: 1 - 2 /2
